🧩 SAT Solvers

DPLL Algorithm, Conflict Analysis, Boolean Satisfiability, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 78231 posts in 518.0 ms
Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
arxiv.org·17h
🔍ML Language
Preview
Report Post
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
arxiv.org·17h
🧩Constraint Solvers
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·22h·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·1d
🔍ML Language
Preview
Report Post
**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...
freederia.com·2d
🧮Theorem Provers
Preview
Report Post
Four LLM Stress Tests
dev.to·1h·
Discuss: DEV
🧪Compiler Testing
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·8h·
Discuss: Blogger
📐Mathematical Computing
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·14h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
Binary Algorithms
exystence.net·22h
📡Binary Protocols
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·6h
🔗Category Theory
Preview
Report Post
No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2
pub.towardsai.net
·1d
🌱Minimal ML
Preview
Report Post
Solved yet stuck
kevinsdias.com·3m
🧩Prolog
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·4h·
Discuss: Hacker News
📋Souffle Datalog
Preview
Report Post
Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
link.aps.org·14h
⚡Control Synthesis
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·4h·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Scheme implementation as O’Reilly book via Claude Code
ezzeriesa.notion.site·1d·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Problem Solving
denvaar.dev·19h
🔗Hash Functions
Preview
Report Post
Logic Puzzle with Poison Pill
dev.to·1d·
Discuss: DEV
🧩Constraint Solvers
Preview
Report Post
Use of Assertions
blog.regehr.org·7h
🔍Static Analysis
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help